Books by author Christel Baier

Showing 1 – 8 out of 8 results

1. 

   Formal Techniques for Distributed Objects, Components, and Systems

   Christel Baier, Luis Caires | Springer International Publishing AG, 2018

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy
2. 

   SOFSEM 2017: Theory and Practice of Computer Science

   Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria | Springer International Publishing AG, 2017

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy
3. 

   Foundations of Software Science and Computation Structures

   Christel Baier, Ugo Dal Lago | Springer International Publishing AG, 2018

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy
4. 

   CONCUR 2006 - Concurrency Theory

   Christel Baier, Holger Hermanns | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Paperback

   109.34 €

   Buy
5. 

   Foundations of Software Science and Computation Structures

   Christel Baier, Ugo Dal Lago | Saint Philip Street Press, 2020

   
   

   In stock at our supplier - Shipping in 9 - 15 days

   Language: English

   Binding: Paperback

   56.23 €

   Sale 1 %

   You save 1.13 €

   Buy
6. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Christel Baier, Cesare Tinelli | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2015

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy
7. 

   Foundations of Software Science and Computation Structures

   Christel Baier, Ugo Dal Lago | Saint Philip Street Press, 2020

   
   

   In stock at our supplier - Shipping in 9 - 15 days

   Language: English

   Binding: Hardback

   66.96 €

   Sale 2 %

   You save 1.41 €

   Buy
8. 

   Validation of Stochastic Systems

   Christel Baier | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy

We inform you about all changes of your order. Find out more